type inferencing

类型推理(法)